set of distinct values, characterized by properties of those values and by operations on those values

množina různých hodnot charakterizovaná jejich vlastnostmi a zároveň výpočetními operacemi, které lze s hodnotami tohoto typu provádět